for n being Element of NAT st n > 1 & n <> 4 & not n is prime holds
ex k being non zero Element of NAT st
( k <> 1 & k <> 2 & k <> n & k divides n )