Definition of prime is that a natural number $n > 1$ is prime if the only natural numbers $m$ with $m|n$ are $m = 1$ and $m = n$.
I'm guessing this means that the prime numbers can only be divided between $1$ and the prime number itself. But how can I properly use this definition to prove?
Proposition: If $n > 1$ is a natural number, then there is a prime number $p$ such that $p|n$
Proof:
$n = pq$ for some integer $q$
Case 1: If $p = 1$, then $n = (1)*q$
Case 2: If $p = n$, then $n = (n)*q$
Therefore, there is a prime number $p$ such that $p|n$
Would something like this work?