1006 = 2 * 503 ;
then 2 divides 1006 ;
hence not 1006 is prime ; :: thesis: verum