How do you prove #csc2x = 1/2(secx)(cscx)#?