prove tan5utan3u=(tan^24utan^2u)/(1-tan^24utan^2u)