משפט ארצלה-אסקולי – שפות אחרות