646 = 2 * 323 ;
then 2 divides 646 ;
hence not 646 is prime ; :: thesis: verum