Теорема Барбашина — Красовського – Інші мови