Definition:Nondegenerate Symmetric Bilinear Form