"Let q1 and r1, both nonnegative, such that a = bq1 + r1, for example q1 = 0 and r1 = a." . . . .