254 = 2 * 127 ;
then 2 divides 254 ;
hence not 254 is prime ; :: thesis: verum