How do you verify csc ^4 -2csc ^2 x +1 = cot^4 x?