Рассмотрим вертикальные линии и горизонтальные. Каждую из них диагональ пересекает ровно один раз. При этом каждое пересечение вертикальной или горизонтальной линии соответствует пересечению двух (соседних) клеток. Посчитаем сумму вертикальных (
) и горизонтальных клеток (
): каждая клетка, которую пересекают (кроме двух крайних), считается дважды (она дважды участвует в паре), но также каждое пересечение считается дважды. Поэтому 
есть количество пересеченных клеток (мы добавили двойку в числителе вот почему: 2(v+h) - это удвоенное количество средних клеток (т.е. не крайних), а крайние посчитаны только один раз. Добавляя 2, мы считаем и крайние два раза. Теперь все клетки посчитаны дважды — можем делить на 2)
Пусть дан прямоугольник 
, причем числа 
не имеют общих делителей (иначе какая-то клетка пересекалась бы по вершине — мы ее не считали). Тогда 
, 
. Получаем 
пересеченная клетка. Поскольку числа 239 и 566 не имеют общих делителей, к ним применима эта формула. Получаем, что диагональ пересекает 239+566-1=804 клетки
Т.е. все отрицательные и натуральные числа.
Множества называются равными если:
Пусть:
Так как
То:
Т.е. либо n зависит от m:
Либо m от n:
Теперь, если
Т.е. выполняется:
Значит:
Но мы знаем что для каждого n и m выполняется n=m+1. Значит противоречие и наше предположение о том что А не является подмножеством В не верно.
Т.е.
Теперь, если предположить что
Т.е. выполняется:
Значит :
Но этого не может быть. Значит противоречие.
Отсюда следует: