How to prove the following? cot^(-1)7+cot^(-1)8+cot^(-1)18=cot^(-1)3