theorem Th21: :: NUMBER08:21

for n being non zero Nat holds support (Euler_factorization n) = dom (Euler_factorization n)