Non-commutative affine P. I. rings are catenary
scientific article; zbMATH DE number 3584012