Proof: Checking proof All goals closed Open goals need to be proved

{{proof.provable}}

Tactic to Reproduce the Proof

{{proof.tactic}}