(*
  Authors: Wenda Li
*)

theory amc12b_2020_p13
  imports Complex_Main
begin


theorem amc12b_2020_p13 :
  shows "sqrt (ln 6 / ln 2 + ln 6 / ln 3)  
    = sqrt (ln 3 / ln 2) + sqrt (ln 2 / ln 3)"
  by sorry

end