. . . "Since we know that p is a divisor of b and r, and p is a divisor of a, then we know that p is a common divisor of a and b. 25." .