for p being Prime holds (pfexp p) . p = 1