Подпараграф I.6.3.1

Формулировка основной теоремы