 It can be checked that \(R\) is an equivalence relation. Write \(r\) for the natural map from \(A + A\) to the  quotient[21]  \(Q\) of \((A + A)\) by \(R\) which carries each member of \(A + A\) to its \(R-\)equivalence class.