Подпараграф III.5.6.1

Определения и формулировка основной теоремы