Evet.
m,n>0 olacak şekilde doğal sayılar al ve pm=qn olduğunu düşün. Bu eşitliğin sol tarafı p asalına bölünüyor, dolayısıyla sağ tarafı da bölünmek zorunda.
Ama p|qn ise p=q olmalı. Ya da kontrapozitifi daha tatlı. Ve tümevarım ile falan göstermek kolay.