[25W]Having fixed Nββ, consider the ordering nβm for n,mβN. Since Nββ is well ordered, then Proposition [26J]βΊβ» implies that (N,β) is well ordered; nonetheless prove directly by induction that nβm is a well ordering in N.
[25X]βΊβ»