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