I'm reading, but I can't get what induction hypothesis they are talking about on page 10 on <http://www.win.tue.nl/~hansc/vena/webalt.pdf> at 
`Existence of q and r for nonnegative a and b`. What do they mean?

Regards,
Kevin