How do you verify tan y cot y = 1?