Added the extended Euclid algorithm used later in the chapter to demonstrate
induction.