Corollary

If A is a commutative ring $\neq 0$ and E a free A-module, any two bases of E are equipotent.

There exists in A at least one maximal ideal m (I, $§ 8$, no. 6, Theorem 1) and, as A/m is a field, the conditions of Proposition 3 are fulfilled.