Euclid's lemma states that: if a prime $p$ divides the product $ab$ of two integers $a$ and $b$, then $p$ must divide at least one of those integers $a$ and $b$.
My question is can $a=b$? or must they be different integers?
If they can would I be able to use Euclid's Lemma to prove a question such as this:
Prove that if $n^2$ is divisible by $13$ then $n$ is divisible by $13$