External Direct Product Distributivity