Stával jsem ve dveřích Prioru a neměl naději žádnou, že by šel axiom výběru užít na množinu prázdnou.