474 = 2 * 237 ;
then 2 divides 474 ;
hence not 474 is prime ; :: thesis: verum