
theorem
  not 368 is prime
  proof
    368 = 2*184;
    then 2 divides 368;
    hence thesis;
  end;
