16 = 2 * 8 ;
then 2 divides 16 ;
hence not 16 is prime ; :: thesis: verum