I want show by well founded induction, that every natural number > 1 is divisible by a prime number.
Let $(N, <)$ a set and $P \subset N$.
$P(x)$ is the property that $x$ is divisible by a prime and $x$ is a natural number $>1$.
Assume $P(y)$ is true for all predecessors of $x$.
To show that $P(x)$ is also true.
Case 1: $x$ is a prime number -> $x$ is divisible by itself -> $P(x)$ is true.
Case 2: $x$ is not a prime...how can I show that case 2 is also true?