Completion of Proof