Si $a | bc$, con $a $ y $ b$ primos relativos, entonces $a | c$.
Si $a | bc$, con $a $ y $ b$ primos relativos, entonces $a | c$.
Enlaces:
[1] https://www.matetam.com/glosario/teorema/identidad-bezout
[2] https://www.matetam.com/problemas/numeros/lema-euclides-instancia-uso