Translation Of Electronic Proof In Different Languages