О размерности некоммутативных аффинных алгебр

Пусть $R$ – конечнопорожденная первичная $PI$-алгебра над полем $F$. $Z$ – центр ее кольца частных. Доказывается, что $Z$ – поле частных центра алгебры $R$ и что степень трансцендентности поля $Z$ над полем $F$ равна максимальной длине цепочки первичных идеалов кольца $R$.