https://5dok.org/document/zkw73o8m-axiom-of-choice.html