
theorem
  not 1300 is prime
  proof
    1300 = 2*650;
    then 2 divides 1300;
    hence thesis;
