1257 = 3 * 419 ;
then 3 divides 1257 ;
hence not 1257 is prime ; :: thesis: verum