(*
  Authors: Wenda Li
*)

theory mathd_algebra_208 imports 
  Complex_Main 
  "HOL-Computational_Algebra.Computational_Algebra"
begin

theorem mathd_algebra_208 :
  "sqrt 1000000 - 1000000 powr (1/3) = 900"
  by sorry

end