How do you prove #sec x - cos x = sin x tan x#?