Finished the first proof.