Cтраница 4
Полученное противоречие доказывает лемму. [46]
Полученное противоречие и доказывает теорему. [47]