How do you prove cos(x)1sin(x)=sec(x)+tan(x)?