Copy of law of cosines (proof)