How do you prove cot(x)cos(x)+sin(x)=csc(x)?