>>1
背理法は必要ないと仮定する
これから議論して矛盾することを導け