How do you prove #cosxcotx = cscx - sinx#?