Law of Cosines Verification