How do you verify #tan y cot y = 1#?