>>117
いくらでもある(´･ω･`)
必要条件で解を絞り込んでいって
解の候補を求める。

最後に解の候補たちが
もとの方程式を満たす事をしめす（十分性を確認する）証明の場合
この時、元の方程式を満たさずに却下される候補もある(´･ω･`)