If $\vec{u},\vec{v},\vec{w}$, and $\vec{a}$ all lie in the same plane in $\mathbb{R_3}$, then $(\vec{u} \times \vec{v}) \times (\vec{w}\times\vec{a})=\vec{0}$.
I tried to multiply the whole thing out manually and ended up with a VERY messy expression that didn't simplify to the zero vector.
Any better ways of doing it?