What do symmetric bilinear forms have to do with the law of cosines? Does it have anything to do with the angle formula between two vectors?