Decomposition axiom for conditional independence

The decomposition axiom says that $X\perp (Y,W)\mid Z$ implies both $X\perp Y\mid Z$ and $X\perp W\mid Z$. It follows by marginalizing the joint conditional distribution over the discarded variable.