Entropic Idempotent Structure is Self-Distributive

Theorem
Let $\struct {S, \odot}$ be an algebraic structure such that $\odot$ is both idempotent and entropic.

Then $\struct {S, \odot}$ is a self-distributive structure.

Proof
and:

Hence the result by definition of self-distributive structure.