数値代入法は何故、逆の成立の確認をしなきゃいけないんですか?