Proof Result

All goals in your proof agenda have been closed.

Your proof still has open goals.

Provable

{{proof.provable}}

Tactic to Reproduce the Proof

{{proof.tactic}}