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