Dados a, c inteiros positivos e b inteiro, prove que existe x inteiro positivo tal que
a^x+x=b mod c
ou seja, existe x inteiro positivo tal que c � um divisor de a^x + x � b.