(*
  Authors: Wenda Li
*)

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

theorem mathd_algebra_196:
  "(\<Sum> k \<in> {x ::real. abs (2 - x) = 3}. k) = 4"
  by sorry

end