О многообразиях, порожденных конечными альтернативными кольцами

Доказывается, что многообразие, порожденное конечным альтернативным кольцом, кроссово, т.е. конечно-базируемо и имеет только конечное число подмногообразий.