2 lines
111 B
Plaintext
2 lines
111 B
Plaintext
|
lemma(backward): forall N (composite(N) <-> N > 1 and N <= n and exists I, J (I > 1 and J > 1 and I * J = N)).
|