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