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