How do you prove #[(sec^6)x] (secxtanx) - [(sec^4)x] (secxtanx) = [(sec^5)x] [(tan^3)x] #?