「s=10^p10^p1」のpと「少なくとも長さがp...|xy|<=p」のpとは違う。