Implement distributor of products over sums