Translation Of Proven Ideas In Different Languages