A single groupoid identity for Steiner loops

A loop which satisfies the identitiesx ² =e, xe = ex = x, andx(yx) = (xy) x = y is called a generalized Steiner loop. In this paper it is shown that a generalized Steiner loop is a groupoid with a single lawx(((yy) z) x) = z.