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