Completion Of Proof