Transitivity of implicative aBE algebras

We prove that every implicative aBE algebra satisfies the transitivity property. This means that every implicative aBE algebra is a Tarski algebra, and thus is also a commutative BCK algebra.