zermelos_choice ešte nemá žiadnych sledujúcich