Лема про вкладені відрізки – Інші мови