Nondegenerate form


nondegenerate bilinear form is a bilinear form.