If sina+7sinb=4 (sinc+2sind) and cosa+7cosb=4 (cosc+2cosd), how do I prove that 2cos(a-d) =7cos(b-c)?