Тождества конечных йордановых $\Phi$-алгебр

Показано, что тождества конечных йордановых $\Phi$-алгебр обладают конечным базисом, а многообразие, порожденное конечной йордановой алгеброй, кроссово, т.е. локально-конечно, задается конечным числом тождеств и содержит конечное число подмногообразий.