Uncommented a proof.