
theorem
  not 70 is prime
  proof
    70 = 2*35;
    then 2 divides 70;
    hence thesis;
  end;
