
theorem
  not 1075 is prime
  proof
    1075 = 5*215;
    then 5 divides 1075;
    hence thesis;
  end;
