Going up lifts every prime chain in A to one in B, so dimB≥dimA. Conversely, contracting astrict chain of primes of B gives a chain in A, and the incomparability theorem for integral extensions ensures that no strict inclusion contracts to equality. Thus dimA≥dimB, and