
theorem
  not 735 is prime
  proof
    735 = 3*245;
    then 3 divides 735;
    hence thesis;
  end;
