>>701
確かに3で縛ってはいるんですが背理法を使う場合1を否定して
あと使える条件としては3の前半だけでそこまでだとCに縛りはないと思う
のですが…