453 = 3 * 151 ;
then 3 divides 453 ;
hence not 453 is prime ; :: thesis: verum