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