Translation Of Own Proof In Different Languages