1034 = 2 * 517 ;
then 2 divides 1034 ;
hence not 1034 is prime ; :: thesis: verum