How do you prove (2sin^2x -1) /( sinxcosx) = tanx - cotx?