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