Exercise 8, § 1

Let $\tau$ be an associative law on E and $a$ an element of E; for all $x \in E, y \in E$, we write $x \perp y = x \tau a \tau y$: show that the law $\perp$ is associative.