
theorem
  not 765 is prime
  proof
    765 = 3*255;
    then 3 divides 765;
    hence thesis;
  end;
