不変条件ってそもそもあるものだから、検査を実装していてもしていなくても、その指摘に対する回答って同じなのでは？ (edited)