
theorem
  not 1943 is prime
  proof
    1943 = 29*67;
    then 29 divides 1943;
    hence thesis;
  end;
