adam haklı aslında; teorem ve dolaylı ispatı ile burda

A: asal sayılar kümesi, x te onun bi elemanı olsun.
(x| x/1:x ^ x/x:1) şeklinde asal sayılar kümesi tanımlansın.
B altkümesi A olarak bir küme daha tanımlayalım. Bu B kümesi sayıyı bölen birbirinden farklı tamsayıları göstersin. s(B)= 2 olur.
1 elemanıdır A olarak kabul edelim.
(1/1:1 ^ 1/1:1) o.ü B=(1,1) olur. ama iki farklı eleman dendiğinden s(B)=1 olur. Bu da kabulümüze göre bir çelişkidir.

o yüzden 1 asal sayı değildir.

not: teoremin ispatını kendim yaptım, matematikçiyim.