first attempt at TDH proof under CDH