(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_algebra_48 imports
  Complex_Main
begin

theorem mathd_algebra_48:
  fixes q e :: complex
  assumes h0 : "q = Complex (Re 9) (Im (-4))"
    and h1 : "e = Complex (Re (-3)) (Im (-4))"
  shows "q - e = 12"
  by sorry

end