この問題で間違っていない証明はあるのですか