So, in the image, we have the definition of the GCD. The only part of the text I don't understand is when it says that the set of common divisors is bounded above by the largest of $a$, $b$, $-a$, $-b$. I don't understand the reference to "$-a$, $-b$" ? I thought that the two numbers $a$ and $b$ are always positive, so what gives ? Thank you for the help !