
theorem
  not 700 is prime
  proof
    700 = 2*350;
    then 2 divides 700;
    hence thesis;
