>>929
はいyの存在を仮定して、そのyの素因数の一つをpとしたんですよね