Note that what this is really saying is that has exactly two divisors. And since are always divisors of we may conclude that they are the only divisors. But that is the defintion of primeness, that only the number itself and one are positive divisors.