How do you verify the identity: #sec x - cos x = sin x tan x#?