(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_algebra_89 imports
Complex_Main

begin

theorem mathd_algebra_89:
  fixes b :: real
  assumes h0 : "b\<noteq>0"
  shows "(7 * b^3)^2 * 1/((4 * b^2)^3) = 49 / 64"
  by sorry

end