>>735
対偶や背理法で導ける簡単な推論だよ
1から10まで説明しないと理解してもらえないかね?