theorem Th51: :: NUMBER14:51

for n being non zero Nat holds PrimeDivisorsFS n = sort_a (canFS (support (pfexp n)))