Simplified a proof.