Corollary OC-4. Ternary overlay with Steiner law.

\{ \begin{matrix}x · (y · x) = y \\ g(x, e, e) = f(x, e, e) \\ g(e, x, e) = f(e, x, e) \\ g(e, e, x) = f(e, e, x) \end{matrix} \} =(gL)⇒ \{g(x, y, z) = f(x, y, z)\}.

This follows immediately from Thm. OC-3, because the Steiner law implies that · is a quasigroup.