
theorem
  not 206 is prime
  proof
    206 = 2*103;
    then 2 divides 206;
    hence thesis;
  end;
