prove a better equivalence between Cₙ(X ∨ Y) and Cₙ(X) × Cₙ(Y)