188 = 2 * 94 ;
then 2 divides 188 ;
hence not 188 is prime ; :: thesis: verum