100 = 2 * 50 ;
then 2 divides 100 ;
hence not 100 is prime ; :: thesis: verum