699 = 3 * 233 ;
then 3 divides 699 ;
hence not 699 is prime ; :: thesis: verum