из теоремы следует

Мат. theorem implyies