素朴な疑問なんですが、普通の求値問題は必要性を求めているんですか?
証明問題は一般の場合の十分性を証明すれば良いんですか?