قضیه هان–باناخ: تفاوت میان نسخه‌ها