Divisors of Product of Coprime Integers/Corollary
< Divisors of Product of Coprime Integers(Redirected from Prime Divisor of Coprime Integers)
Jump to navigation
Jump to search
Corollary to Divisors of Product of Coprime Integers
Let $p$ be a prime.
Let $p \divides b c$, where $b \perp c$.
Then $p \divides b$ or $p \divides c$, but not both.
Proof
From the main result, $p = r s$, where $r \divides b$ and $s \divides c$.
But as $p$ is prime, either:
- $r = 1$ and $s = p$, or:
- $r = p$ and $s = 1$.
So $p \divides b$ or $p \divides c$.
But $p$ can not divide both, as $b \perp c$.
$\blacksquare$