Bài tập 23, § 7

Cho $F$ là một nhóm tự do với họ cơ sở $(x, y)$ với $x \neq y$. Bây giờ chứng minh rằng nhóm dẫn xuất của $F$ có họ cơ sở là họ các hoán tử $(x^i, y^j)$ với $i \in \mathbf{Z}, j \in \mathbf{Z}, i \neq 0, j \neq 0$. (Dùng Bài tập 20 hoặc I, p. 149, Bài tập 32.)