Доказательство Теоремы 172: пошаговое объяснение и примеры