454 = 2 * 227 ;
then 2 divides 454 ;
hence not 454 is prime ; :: thesis: verum