
theorem
  not 1736 is prime
  proof
    1736 = 2*868;
    then 2 divides 1736;
    hence thesis;
  end;
