Sia $p$ un numero naturale $\N$ non nullo, $p$ è detto primo se un numero $q$ naturale $\N$ divide $p$ allora questo $q$ è uguale a $p$.
Un altra definizione: $p = qt$ dove $q,t \in \N \Longrightarrow p=q, t=1$
Se $p$ non è primo allora $\exist q,t \in \N : p=qt$ dove $q>1$ e $t <p$