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