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