Esto es una identidad de Bézout y tiene soluciones si y sólo si "a" y "n" son números coprimos (es decir primos entre sí: su máximo común divisor es 1 ).