Puedes generar un número natural impar $n$ restando dos cuadrados:
$$n = 2k + 1 \qquad k \in \mathbb{N}_0 \\ \Leftrightarrow n = k^2 + 2k + 1 - k^2 = (k+1)^2 - k^2 $$
Ahora, ¿es suficiente decir que cada número primo impar puede generarse inimitablemente con
$n = (k+1)^2 - k^2$
ya que
$n = 2k + 1$ es una función lineal y una biyección?