
theorem
  not 784 is prime
  proof
    784 = 2*392;
    then 2 divides 784;
    hence thesis;
  end;
