Подкольца конечно-определенных ассоциативных колец

Пусть $K$ — ассоциативно-коммутативное конечно-порожденное кольцо с единицей или поле, конечно-порожденное над своим простым подполем. Тогда любая ассоциативная $K$-алгебра с рекурсивно-перечислимым множеством определяющих соотношений изоморфно вкладывается в некоторую конечно-порожденную ассоциативную $K$-алгебру с конечным множеством определяющих соотношений.