
theorem
  not 1748 is prime
  proof
    1748 = 2*874;
    then 2 divides 1748;
    hence thesis;
  end;
