How do you verify 2csc2x=secxcscx?