1049 байт добавлено,
18:56, 2 декабря 2011 Оххх... Доказательство абсолютно нечитаемо.
* Начало доказательств в обе стороны надо бы как-то выделить.
* Когда рассматриваются три случая, их стоит обозначить цифрами, а не квадратиками.
* Определение ранга набора посреди теоремы - это как-то не комильфо.
* Незадолго до конца доказательства (чуть выше строчки "а является пустой") все сильно разъехалось, посреди строки большой такой пробел.
На этом фоне всякие мелочи вроде потерянных точек в концах предложений и отсутствия ссылок на используемые понятия кажутся сущими пустяками. [[Участник:Berezhkovskaya|Алёна Бережковская]]