Refactored a proof.