===========================================================================
CSC 236               Tutorial Exercises for Week  4              Fall 2007
===========================================================================

A.  Recall the formal principles of well ordering, simple induction, and
    complete induction, then review the proof that all three principles are
    equivalent, make sure you understand it, and bring your questions to
    tutorial.

B.  Exercise 13 on page 45 of the textbook.

C.  Prove the following statements using well ordering
     -  \-/ n >= 4, n^2 <= 2^n
     -  \-/ n, 12^n - 1 is divisible by 11