(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_numbertheory_202 imports
Complex_Main

begin

theorem mathd_numbertheory_202:
  "(19^19 + 99^99) mod 10 = (8::nat)"
  by sorry

end