$\DeclareMathOperator\ord{ord}$For any natural numbers $a$ and $b$ prove that there exist infinitely many primes $p$ such that $\ord_p(a) = \ord_p(b)$
How do I prove this. The solution makes use of some Kobayashi's theorem. However I do not know what it is can anyone help me with this question