How do you prove sin y cot y csc^2 y = cos y + cosy cot^2y?