How do you prove #secxcscx = sinx + cosxcotx#?