Category:General Distributivity Theorem