On a Theorem of Morimoto Concerning Sufficiency for Discrete Distributions

We prove in a discrete setting that if for all test functions, t, there is a B measurable test function, s, such that Ep(t)=Ep(s) for all p ∈ P then some subfield of B is sufficient for P.