correct a proof