Axiom of choice and complementation