משפט המיון לחבורות פשוטות סופיות – שפות אחרות