theorem Th52: :: NUMBER14:52

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