and so the proposition is proved through the principle of recurrence.     □