おおざっぱに言うと

条件と背理法を使って有り得ない配置を示してもう一発背理法で行き方があるのを示す

って感じ

合ってるか知らんけど!