Translation Of Certain Proof In Different Languages