1254 = 2 * 627 ;
then 2 divides 1254 ;
hence not 1254 is prime ; :: thesis: verum