Обратное утверждение следует из повторного применения теоремы 27 (п).