
theorem
  not 737 is prime
  proof
    737 = 11*67;
    then 11 divides 737;
    hence thesis;
  end;
