Let (

, ...) be a sequence of observed random variables whose probability distributions are described by a parameterized family of density functions

. If there exists a sequence of sufficient statistics for

,

, ...), and if a realizability assumption holds, then there is a finite-dimensional state-space model whose output process agrees with (

, ...) in distribution.