999 = 3 * 333 ;
then 3 divides 999 ;
hence not 999 is prime ; :: thesis: verum