Law of Cosines/Proof 3