algs4; exercise 1.1.25 - Euclid algorithm proof by induction(unfinished)

Both steps should be done explicitly by induction.