>>522
肝心なところを間違えた。最終的な結論は不定ではなく、
整数解がp=1となる矛盾だ。