現状は証明にギャップがあって修復できていない状態