結局どういうことよ?

f(p_r)は整数のはずなのに、整数じゃないだろ! 矛盾だ!
って言うのが証明の根拠だったよね
そのf(p_r)の式が、最初っから整数じゃなかったってことなのかい?