Exercise 11, § 7

Let $A$ be a noetherian ring; suppose that for every maximal ideal $m$ of $A$, the completion of the local ring $A_m$ is an absolutely regular $A_m$-algebra. Now prove that $A$ is a Grothendieck ring (§ 6, exerc. 5). (One will use loc. cit. and the preceding exercise to show that for every maximal ideal $m$ of $A$, the ring $A_m$ is a Grothendieck ring.)