О многообразиях стандартных и достижимых алгебр

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