theorem Th22: :: NUMBER08:22

for n being non zero Nat st n > 1 holds
not support (Euler_factorization n) is empty