Hidden constructions in abstract algebra, Krull Dimension, Going Up, Going Down