0111132人目の素数さん垢版 | 大砲2018/08/07(火) 14:04:10.43ID:gs2eVX6+ えっと、整理しますが cr=qr-1 と cr≠qr-1 の両方の場合で矛盾が導けているんですね?