4 Demuestre que para cualesquiera números naturales $a,b$ existen infinitos números primos $p$ tales que $Ord_p(a)=Ord_p(b)$. (Demostrar que existen infinitos números primos $p$ tales que $Ord_p(a) \ge Ord_p(b)$ dará una calificación parcial.)