(*
  Authors: Wenda Li
*)

theory mathd_numbertheory_175 imports 
  Complex_Main 
  "HOL-Computational_Algebra.Computational_Algebra"
begin

theorem mathd_numbertheory_175 :
  "(2^2010) mod 10 = (4::nat)"
  by sorry

end