464 = 2 * 232 ;
then 2 divides 464 ;
hence not 464 is prime ; :: thesis: verum