* If ("G", ∗) is a locally finite group that is isomorphic to ("H", formula_1), then ("H", formula_1) is also locally finite.
* Если ("G", ∗) является локально конечной группой, изоморфной ("H", formula_1), то ("H", formula_1) также локально конечна.