\[\cos a\cos C=\sin a\cot b-\sin C\cot B,\]