For all x, y, a in an alternative algebra A, (x a x) y | = | x[a(x y)] y(x a x) | = | [(y x) a] x (x y)(a x) | = | x(y a) x (Schafer 1996, p. 28).