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$?