Question 617781
Depends on the type of proof.