>>31
それでは、pをyの最大の素因数であるとすると
その問題は回避され2.の内容は正しくなると
思います。