Induct on . Part (b) gives a member of rank at least ; transitivity and descent through a member of larger rank, using the induction hypothesis, produces a member of rank exactly .
Articles by others on the same topic
There are currently no matching articles.