isabelle/valid/mathd_numbertheory_37.thy

(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_37 imports
  Complex_Main
begin

theorem mathd_numbertheory_37:
  "lcm 9999 100001 = (90900909::nat)"
  sorry

end