Translation Of Insufficient Proof In Different Languages