Aの必要十分条件A'を求めるのに
どうしていいか解らない場合
「Aバー」の必要十分条件、「Aバー'」を求めておいて
「Aバー'」をひっくり返す

という様な論法ってよくやったりしますか?