Finalizing Theorem Proof.