משפט לגראנז' (תורת החבורות) – שפות אחרות