>>68
けど結局
「pに関する恒等式が導けた→pは不定→よって矛盾」
という論法なんでしょ？