1012 = 2 * 506 ;
then 2 divides 1012 ;
hence not 1012 is prime ; :: thesis: verum