How do you prove the identity #cos2x = (cotx - sin2x) / cotx#?