Exactly, `prime_factor_multiplicities()` now makes `prime_factor()` redundant as it is now. I'll undo the changes I made to `prime_factor()` so it behaves as earlier.