(*
  Authors: Wenda Li
*)

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

theorem mathd_numbertheory_127 :
  "(\<Sum> k<101. 2^k) mod 7 = (3::nat)" sorry 

end