Translation Of Unequivocal Proof In Different Languages