https://infosekolah.net/en/Axiom_of_countable_choice