Translation Of Different Proofs In Different Languages