Let , , , et cetera be as in this previous exercise.
Show that is generated by .
Let . Now , and by this previous exercise, we have . Recall that the are in , so that for some . Since the are a basis for over , we have for all . Thus . The reverse inclusion is immediate, and so the are a generating set for over .