Primes

Type: definition

A prime $p$ is defined such that
\[
  \#\operatorname{div}(p)=2.
\]

A corollary of this is
\[
  \operatorname{div}(p)=\{1,p\}.
\]