ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3697 on R5424:
P3697
Since $\mathbb{E} N = \text{Var} N = \theta$ and since \begin{equation} \text{Var} X_1 + (\mathbb{E} X_1)^2 = \mathbb{E} X^2_1 \end{equation} then this result is a special case of R5423: Wald's second equation under independence. $\square$