Характеристика линейных и алинейных квазигрупп

Квазигруппа $(Q,\,\cdot\,)$ называется линейной (алинейной), если для $\forall\, x,y\in Q$ выполнены соотношения $xy=x\varphi x+c+\psi s$, где $(Q,+)$ – некоторая группа, $\varphi, \psi$ – ее автоморфизмы (антиавтоморфизмы), $c\in Q$. Доказывается, что (примитивные) линейные (алинейные) квазигруппы характеризуются одним тождеством от четырех переменных.