N34の投稿

必要十分条件で証明するなら背理法使った方が楽だろ（？）