1018 = 2 * 509 ;
then 2 divides 1018 ;
hence not 1018 is prime ; :: thesis: verum