How do you prove #csc x tan x = sec x#?