
theorem
  not 615 is prime
  proof
    615 = 3*205;
    then 3 divides 615;
    hence thesis;
  end;
