Adding E[x1^2]
Added proof of E[x1^2]