
theorem
  not 1732 is prime
  proof
    1732 = 2*866;
    then 2 divides 1732;
    hence thesis;
