1001 = 7 * 143 ;
then 7 divides 1001 ;
hence not 1001 is prime ; :: thesis: verum