Exercise 22, § 1

If an A-module E admits a basis whose indexing set is I and one of the two sets A, I is infinite, show that E is equipotent to $A \times I$.