
theorem
  not 195 is prime
  proof
    195 = 3*65;
    then 3 divides 195;
    hence thesis;
  end;
