How do you prove #(tan3t-tant)/(1+tan3t*tant)=(2tant)/(1-tan^2t)#?