(*
  Authors: Albert Qiaochu Jiang
*)

theory mathd_algebra_182 imports
Complex_Main

begin

theorem mathd_algebra_182:
  fixes y:: complex
  shows "7*(3*y+2) = 21 * y + 14"
  by sorry
  
end