1246 = 2 * 623 ;
then 2 divides 1246 ;
hence not 1246 is prime ; :: thesis: verum