(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_739 imports
  Complex_Main
begin

theorem mathd_numbertheory_739:
  "(fact 9) mod 10 = (0::nat)"
  sorry

end