The Art of Computer Programming/Mathematical Induction

This section defines mathematical induction, and proves the correctness of Euclid's algorithm.