Consider the subring . Now we may consider the ideal in this ring, and quotient so that:
Now this ring is artin local with maximal ideal . We can show that the images in are linearly independent. This is an local artin ring which does not satisfy the previous proposition.