
theorem
  not 188 is prime
  proof
    188 = 2*94;
    then 2 divides 188;
    hence thesis;
  end;
