Обоснуйте, что хх=4n-1,n-целое число=хх=4m+3,m-целое число.

Множество целых чисел:

Т.е. все отрицательные и естественные числа.

Огромного количества величаются одинаковыми если:
и 

Пусть:



Так как 
То:

Т.е. либо n зависит от m:

Или m от n:


Теперь, если  то,значит, есть таковой элемент  так что .
Т.е. производится:

Означает:


Но мы знаем что для каждого n и m производится n=m+1. Означает противоречие и наше предположение о том что А не является подмножеством В не верно.
Т.е. 


Сейчас, если представить что , то означает есть таковой элемент  так что: 

Т.е. выполняется:


Означает :


Но этого не может быть. Означает противоречие.


Отсюда следует: