>>764
pのうち、グループ化しているrよりも小さい素因数をpが持っている。