theorem :: NUMBER02:40

for n being Nat st n is composite holds
4 <= n