定義 Var(X) = E[(X - mu)^2] から恒等式 Var(X) = E[X^2] - (E[X])^2 を証明してください。