$ 0 0 The $\leq$ direction is clear to me, but I do not know how the other direction works: I understand all the steps but I do not understand how this proofs anything in terms of dim R.