How exactly does the Lehmann-Scheffè theorem directly imply the identity $E[S^2 \mid \bar{X}] = \bar{X}$? Take the random sample $X_1, \dots, X_n$ with mean $\mu$ and variance $\sigma^2 < \infty$. Now assume the $X_i$ are Poisson random variables with parameter $\lambda$. I am told that the Lehmann-Scheffè theorem directly implies the identity $E[S^2 \mid \bar{X}] = \bar{X}$, where $S^2 = \dfrac{1}{n - 1} \sum_{i = 1}^n \left( X_i - \bar{X} \right)^2$ and $\bar{X} = \dfrac{1}{n} \sum_{i = 1}^n X_i$. And when I say 'directly', I mean in the sense that there is no derivation necessary (I already know that it can be derived, so that's not the part I'm interested in). I would like to see how this is so.
I am currently studying the textbook All of Statistics: A Concise Course in Statistical Inference by Larry Wasserman. From what I can tell, there (surprisingly!) is no mention of Lehmann-Scheffè in this textbook (I also checked the index).
Furthermore, the Wikipedia page for Lehmann-Scheffè also isn't clear on this.
So how exactly does the Lehmann-Scheffè theorem directly imply the identity $E[S^2 \mid \bar{X}] = \bar{X}$?
 A: Here is the Wikipedia version of the

Lehmann-Scheffè Theorem Let $\vec{X}= (X_1, X_2, \dots, X_n$) be a random sample from a distribution that has p.d.f (or p.m.f in the
discrete case) $f(x:\theta)$ where $\theta \in \Omega$ is a parameter
in the parameter space. Suppose $Y = u(\vec{X})$ is a sufficient
statistic for $\theta$, and let$$\{ f_Y(y:\theta): \theta \in
  \Omega\}$$be a complete family. If $\varphi$ is such that
$$\operatorname{E}[\varphi(Y)] = \theta$$ then $\varphi(Y)$ is the
unique MVUE of $\theta$.

The elements of relevance to consider when applying this theorem to the setting of the question are

*

*$S^2(\vec{X})$ is an unbiased estimator of $\text{var}(X_i)=\lambda$.

*$\bar X(\vec{X})$ is an unbiased estimator of $\operatorname{E}[X_i]=\lambda$.

*$\bar X(\vec{X})$ is a sufficient and complete statistic.

*$\operatorname{E}[S^2(\vec{X})|\bar X(\vec{X})]$ is both an unbiased estimator of $\operatorname{E}[X_i]=\lambda$ and a function of $\bar X(\vec{X})$.

Conclusion follows with no further computation.
A: According to the LS theorem both the statistic $E(S^2|\bar{X})$ and $E(\bar{X}|\bar{X})$ are the unique UMVUE, so they must be equal.
It is trivial that the latter case is $E(\bar{X}|\bar{X})= \bar{X}$ and so also $$E(S^2|\bar{X}) = E(\bar{X}|\bar{X})= \bar{X}$$
This works generally when the complete sufficient statistic on which you condition is also an unbiased statistic. (Which might not always be the case when you apply the LS theorem)
A: Since umvue is unique hence so the first thing is just umvue by Lehmann scheffe  and Next one is the natural umvue of the parameter and by uniqueness theorem they should be equal
