Fixed a proof.