Distributive property of the cross product (proof with Prism).