If $p$ is a prime and $p \mid a^2$, then which must be true?

By the Fundamental Theorem of Arithmetic, if a prime $p$ divides $a^2$ it must appear in the prime factorisation of $a$, hence $p \mid a$. This is the lemma behind irrationality proofs.