Translation Of Ideal Proof In Different Languages