Law of Cosines Proof