Category:Extension Theorem for Distributive Operations