sentences:  Suppose that "A" is a Noetherian domain and "B" is a domain containing "A" that is finitely generated over "A".If "P" is a prime ideal of "B" and "p" its intersection with "A", then 
  The dimension formula for universally catenary rings says that equality holds if "A" is universally catenary.Here κ("P") is the residue field of "P" and tr.deg.