Tõestus (näidend) – teised keeled