Corollary OC-2. Binary overlay with Steiner law.

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

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