638 = 2 * 319 ;
then 2 divides 638 ;
hence not 638 is prime ; :: thesis: verum