On a generalized entropic property

Let $\cdot, *$ be idempotent operations on the set $A$, and $*$ be a commutative operation. We prove, that if the pair $(\cdot, *)$ satisfies the generalized entropic property, then $(\cdot, *)$ is entropic.