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