Sum of Cotangents of Half Angles in Triangle/Proof