結果 : prove that tan inverse x equal to cot inverse 1 x