
theorem
  not 982 is prime
  proof
    982 = 2*491;
    then 2 divides 982;
    hence thesis;
