Distributive homomorphism
 
x
OK