Another simple form of the axiom of choice / V. G. Kirin