640 = 2 * 320 ;
then 2 divides 640 ;
hence not 640 is prime ; :: thesis: verum