Translation Of Yet Another Proof In Different Languages