(messy) proof that Σ(X×Y) ≃ ΣX ∨ Σ(X∧Y) ∨ ΣY