
theorem
  not 1696 is prime
  proof
    1696 = 2*848;
    then 2 divides 1696;
    hence thesis;
