数学における「問題を解く」というのは普通十分条件的に解いているんじゃないんですか？

順像法も逆像法も