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