How do you prove: cotx-cosx=cotx(1-sinx)?