If F is a free module over a ring with identity such that F has a basis of finite cardinality n ≥ 1 and another basis of cardinality n + 1, then F has a basis of cardinality m for every m ≥ n (m ϵ N*).