
theorem
  not 704 is prime
  proof
    704 = 2*352;
    then 2 divides 704;
    hence thesis;
  end;
