Composition algebras of arbitrary dimension over a field and satisfying the
identities x(2)x = xx(2) and (x(2))(2) = (x(2)x)x shown to be precisely th
e well-known unital composition algebras, with the exception of three two d
imensional algebras over the field of two elements.