Якщо [...] -невід"ємна, скінчена [...]-адитивна функція множин, визначена на [...]-алгебрі підмножин В непустої множини [...] і [...] - її екстремальне продовження на алгебру А, В [...] А, тоді існує такий гомоморфізм h алгебри А на алгебру класів [...]-еквівалентності [...], що [...] = [...](h(A)) для будь-якого АєА, де [...]- фактор-міра міри [...].
If [...] - non-negative, finite [...]-additive function of set defined on [...]-algebra of sets В of nonempty set [...] and [...] - its extreme extension on algebra A, В [...] A, then exists such homomorphism h algebras A on algebra of equivalence classes В/[...], that [...](А) = [...](А)) for everyone А є A, where [...] - the quotient-measure of measure [...].