Изменения

{{tick| ticked = 1}} Черточки вместо тире, пропущенные пробелы и знаки препинания.

{{tick| ticked = 1}} " n, равном уже 10," <tex>\to\ \ n = 10</tex>

{{tick}} Все n, A, B, b занести в TeX.'''UPD''' в первой стоке: {{tick}} "f из A в B " -> "f : A -> B", как в формулировке Леммы

{{tick| ticked = 1}} Исправить в доказательстве второй леммы нагромождение равенств. Сделать нормальное словесное описание.

{{tick| ticked = 1}} Оформить раздел "Источники" (Требования - Викификация - пункт 9)

{{tick| ticked = 1}} Добавить категории (Требования - Викификация - пункт 8)