How do you verify sec^2 x tan^2 x + sec^2 x = sec^4 x? Thank you!