theorem Th48: :: NUMBER14:48

for n being non zero Nat holds support (pfexp n) = PrimeDivisors n