Translation Of Theory Results In Different Languages