Sean $f$ y $g$ polinomios mónicos no constantes en $Z[x]$ tales que, existen polinomios $F$ y $G$ con coeficientes enteros de modo que $fF+gG=1$. Suponga que $f(x)=\prod{(x-a_i)}$ y $g(x)=\prod{(x-b_j)}$ con $a_i, b_j\in\mathbb{C}$ para $i=1,...,n$ y $j=1,...,m$.
Demuestre que $\displaystyle \left| \prod_{i=1}^{n}\prod_{j=1}^{m}{(a_i-b_j)}\right|=1$