
theorem
  not 935 is prime
  proof
    935 = 5*187;
    then 5 divides 935;
    hence thesis;
  end;
