(*
  Authors: Wenda Li
*)
theory mathd_algebra_59 imports Complex_Main
begin

theorem mathd_algebra_59:
  fixes b :: real
  assumes "4 powr b + 2^3  = 12"
  shows "b=1"
  by sorry

end