Translation Of Analysis Proves In Different Languages