Правоальтернативные алгебры

Пусть $A$ — правоальтернативная алгебра, $alt(A)$ — ее идеал, порожденный всеми элементами вида $(a,a,b)$, $a, b\in A$. Доказано, что $alt(A)\subseteq S(A^{(+)})$, где $S(A^{(+)})$ — радикал Слинько–Маккриммона присоединенной йордановой алгебры $A^{(+)}$.