
theorem
  not 832 is prime
  proof
    832 = 2*416;
    then 2 divides 832;
    hence thesis;
  end;
