Finished proof.