law of cosines (proof)