I am currently trying to understand the proof of the Bessel's correction Proof of correctness 2 and there is one step in the demonstration that I do not understand:
$$ \operatorname{Var}(\bar x) = \frac{\sigma^2} n $$
When we admit that:
$$ \operatorname{Var}(x) = \sigma^2 \text{ and } \bar x = \operatorname{E}(x) $$
If anyone can clarify this step I would really appreciate.
UPDATE
I am stuck at the point where:
$$ \operatorname{Var}(\bar x) = \operatorname{E} \left(\left(\frac{\sum_{i=0}^n x_i} n - \mu\right)^2\right) = \frac 1 {n^2} \operatorname{E} \left( \left( \sum_{i=0}^n x_i - n\mu\right)^2\right) $$