
theorem
  not 10 is prime
  proof
    10 = 2*5;
    then 2 divides 10;
    hence thesis;
  end;
