Sean $a,m$ enteros positivos tales que $Ord_m (a)$ es impar y para cualesquiera enteros $x,y$ tales que 1 . $xy \equiv a \pmod m$ 2 . $Ord_m(x) \le Ord_m(a)$ 3 . $Ord_m(y) \le Ord_m(a)$ Tenemos que ya sea $Ord_m(x)|Ord_m(a)$ o $Ord_m(y)|Ord_m(a)$ . demuestre que $Ord_m(a)$ contiene como máximo un factor primo.