>>542
方程式の解をもとの式に代入して問題が起きるかどうかを調べることを十分性の
確認と習いました。