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