まあ要するにpはfxの整数解の倍数であり、pは素数なのでfxの解は±1、±pの4つしかあり得ないよねって話