(*
  Authors: Wenda Li
*)

theory mathd_numbertheory_299 imports Complex_Main
begin

theorem mathd_numbertheory_299 :
  "(1 * 3 * 5 * 7 * 9 * 11 * 13) mod 10 = (5::nat)"
  by sorry

end