  Now apply AC4 to obtain a map  \(f: Q \rightarrow  A + A\) satisfying  \(f(X) \in X\) for all \(X \in Q\). It is then not hard to show that, writing \(\pi_{1}\) for projection on the first coordinate,