中間値検証
処理の途中で現れる中間値の正当性を確認する。
ここで正しくないなら
バグ
であり、その後の処理は不可能であるから処理を中止して戻るのが正しい。