正しさの証明になってしまった