
theorem
  not 235 is prime
  proof
    235 = 5*47;
    then 5 divides 235;
    hence thesis;
  end;
