c1:
nếu d2 | d3 hoặc d2 | d4 thì d2 | mọi ước của n => n có dạng p^k thỏa
nếu n chỉ có 2 prime factors, suy luận tương tự để ra vô lý
nếu n có ít nhất 3 ước thì d2,d3,d4 (p,q,r) nhất thiết phải là 3 ước nguyên tố phân biệt của n
n/r | n/p + n/q
npq | nqr + npr
pq | qr + pr
p | qr + pr
p| qr
vô lý