637 = 7 * 91 ;
then 7 divides 637 ;
hence not 637 is prime ; :: thesis: verum