Indirekt bizonyítás - További nyelvek