64 = 2 * 32 ;
then 2 divides 64 ;
hence not 64 is prime ; :: thesis: verum