>>749
何を書いているのでしょうか？論文には全称記号は使っていないから間違いようがありません

>>750
背理法で証明するので、整数と定義しています