1. bir hex oyununun heç vaxt bərabərə bitməyəcəyini ifadə edən teorem. john nash tərəfindən brouwer sabit nöqtə teoremindən istifadə edilərək isbat edilmişdir.