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