58. Cosine theorem