Cot A B Formula Proof