667 = 23 * 29 ;
then 23 divides 667 ;
hence not 667 is prime ; :: thesis: verum