How do you prove sinycotycsc2y=cosy+cosycot2y?