
theorem
  not 209 is prime
  proof
    209 = 11*19;
    then 11 divides 209;
    hence thesis;
  end;
