462 = 2 * 231 ;
then 2 divides 462 ;
hence not 462 is prime ; :: thesis: verum