The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms. - Tamás Kátay; László Márton Tóth; Zoltán Vidnyánszky (CoRR, 2023)