CCommunity
cos(90 - B)sin(C - A) + sin(90 + A)cos(B + C) - sin(90 - C)cos(A + B)
⇒ sinBsin(C - A) + cosAcos(B + C) - cosCcos(A + B)
⇒ sinB(sinCcosA - cosCsinA) + cosA(cosBcosC - sinBsinC) - cosC(cosAcosB - sinAsinB)
⇒ sinBsinCcosA - sinBcosCsinA + cosAcosBcosC - cosAsinBsinC - cosCcosAcosB + cosCsinAsinB = 0