Изменения

:{{tick}} Изменить определения в начале статьи так, чтобы они соответствовали изложению, которое было на лекциях.:{{tick}} Добавить перечислитель в доказательстве теоремы в прямую сторону.:{{tick}} Доказательство лемм в обратную сторону довольно сумбурно. Переписать.