Fundamental theorem of dimension theory (algebra)