正しい証明でない可能性は?