Remove the wrong proofs.