CONGRUENCE 111 Ex. 3. Ex. 4. 257. Th. If a is a positiv or zero integer and b a positiv integer, these numbers, r_y and v, and the remainders ry, s, 73, *, Tn, found by the algorithm of Euclid and corresponding to exact or lower approximate quotients, can be exprest in one or other of the forms sa — tb or — sa + tb, where s and t are positiv or zero integers, all the r's with odd subscripts taking the form sa — tb, the others the form — sa -+ tb. 258. Th. If 0