(*
  Authors: Wenda Li
*)

theory mathd_numbertheory_212 
  imports Complex_Main "HOL-Computational_Algebra.Computational_Algebra"
  "HOL-Number_Theory.Number_Theory"
begin

theorem mathd_numbertheory_212 :
  "(16^17 * 17^18 * 18^19) mod 10 = (8::nat)"
  by sorry

end