Suppose is a well orderable set, , , and let be the closure of under . Define the sets by the recursion , . Then we have that .

Show that if A is infinite, then .

I am having trouble proving this part now [that if is infinite, then ]. I know that by the first part we have that . However, I do not see how to show that if is infinite, then . I need help on this. Thanks.