Composite Number has Two Divisors Less Than It

Theorem
Let $$n \in \Z, n > 1, n \notin \mathbb P$$.

Then $$\exists a, b \in \Z: 1 < a < n, 1 < b < n: n = a b$$.

That is, a non-prime number greater than $$1$$ can be expressed as the product of two positive integers strictly greater than $$1$$ and less than $$n$$.

Proof

 * Since $$n \notin \mathbb P$$, it has a positive factor $$a$$ such that $$a \ne 1$$ and $$a \ne n$$.

Hence $$\exists b \in \Z: n = a b$$.


 * Since $$a \backslash n$$, we have $$a \le n$$. As $$a \ne n$$, it follows that $$a < n$$.

As $$1$$ divides every number, we have $$1 \backslash a$$ and thus $$1 \le a$$ and similarly as $$1 \ne a$$ it follows that $$1 < a$$.


 * Since $$a \ne n$$, it follows that $$b \ne 1$$.

Similarly, since $$a \ne 1$$, it follows that $$b \ne n$$.

Thus $$b \backslash n: 1 \ne b \ne n$$.

Arguing as above, we show that $$1 < b < n$$ and the result follows.