משפט נקודת השבת של בראואר – שפות אחרות