How do you prove cot^-1x=tan^-1(1/x) for x>0?