Изменения
Нет описания правки
Исправил несколько мелких опечаток в док-ве теоремы, разберитесь со стрелочками в теореме и в конце доказательства(как я понимаю, там должна быть одна и та же...но какая? (smile))
==косяки==
в доказательстве теоремы в паре мест перепутаны значки пересечения и объединения
