theorem :: NUMBER02:40

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