[1XR] Let Nββ, and let P(n) a be logical clause, true for n=N and such that
then P is true for every nβ₯N.