Remark

Corollary 2 also applies in the following cases: a) $A_0$ is principal and $A = A_0[X_1, ..., X_{n-1}]$; b) $A_0$ is a regular local noetherian ring of dimension $r$ and $A = A_0[X_1, ..., X_n, r]$.