theorem implyies

Мат. из теоремы следует, что