
theorem
  not 782 is prime
  proof
    782 = 2*391;
    then 2 divides 782;
    hence thesis;
  end;
