423 = 3 * 141 ;
then 3 divides 423 ;
hence not 423 is prime ; :: thesis: verum