Изменения

{{tick| ticked = 1}} Черточки вместо тире, пропущенные пробелы и знаки препинания. {{tick| ticked = 1}} " n, равном уже 10," <tex>\to\ \ n = 10</tex> {{tick| ticked = 1}} Все n, A, B, b занести в TeX.'''UPD''' в первой стоке: {{tick | ticked = 1}} "f из A в B " -> "f : A -> B", как в формулировке Леммы {{tick| ticked = 1}} Исправить в доказательстве второй леммы нагромождение равенств. Сделать нормальное словесное описание. {{tick| ticked = 1}} Оформить раздел "Источники" (Требования - Викификация - пункт 9) {{tick| ticked = 1}} Добавить категории (Требования - Викификация - пункт 8)