Then the symmetric bilinear pairing $$\begin{array}{llll}\hfill (\bullet ,\bullet )& \to K& \hfill & \\ \hfill (x,y)& \mapsto {\mathrm{Tr}}_{L∕K}(xy)& \hfill & \end{array}$$

is non-degenerate.