99 = 3 * 33 ;
then 3 divides 99 ;
hence not 99 is prime ; :: thesis: verum