>>328
「メモ」と書いてあるだろう。
あの背理法による証明は与えられた条件を使ってないから間違っていて、
あのような正しくするには何か別の条件が必要になることは薄々気付いた。