Exercise 1, § 14

Let E be an extension of a field K and let B be a transcendence basis of E over K. Show that E is equipotent to $K \times B$ if one of the sets K, B is infinite, and countable otherwise. \* Deduce in particular that every transcendence basis of the field R of real numbers over the field Q of rational numbers has the power of the continuum. \*