>>119
全ての解法に共通することがあれば
それは必要条件であろう。
例えば

解が分かる⇒「その解が問題を見たし、かつ、それ以外に解が無い」事が分かる事

解が分かるためには、
それ以外に解が無い事を示すことも必要