For , the density is
so the Fisher-Neyman factorization theorem proves that is sufficient.
Moreover,
is independent of exactly when , equivalently . The likelihood-ratio criterion for minimal sufficiency therefore proves that