sentences:  means the transcendence degree (of quotient fields).In fact, when "A" is not universally catenary, but formula_2, then equality also holds.Almost all Noetherian rings that appear in algebraic geometry are universally catenary.