Added one proof.