Translation Of Effective Proof In Different Languages