# Relation between path and loop spaces

Suppose $$X_1, X_2$$ are CW-complexes. How do I show that $$PX_1times Omega X_2cup Omega X_1times PX_2subset PX_1times PX_2$$ is homotopy equivalent to $$SigmaOmega X_1wedge Omega X_2$$?