
theorem
  not 1010 is prime
  proof
    1010 = 2*505;
    then 2 divides 1010;
    hence thesis;
  end;
