Se p e a são 1 e −1. Então, mdc (a, b) = 1. Logo, pelo Teorema 1.10, existem x0, y0 ∈ Z tais que 1 = px0 + ay0. (23) Multiplicando ambos os lados...

O texto apresentado é um trecho de um livro ou material didático de Matemática. Ele apresenta o Teorema 1.10 e o Corolário 2.6, que são importantes na teoria dos números. O Teorema 1.10 afirma que, se o máximo divisor comum (mdc) de dois números inteiros é 1, então existem inteiros x0 e y0 tais que a combinação linear px0 + ay0 = 1, onde p e a são os números dados. Já o Corolário 2.6 afirma que, se um número primo divide o produto de vários números inteiros, então ele deve dividir pelo menos um desses números.