theorem Th46: :: MOEBIUS1:46

for p being Prime holds (PFactors p) * <*p*> = <*p*>