Proposition 14.5. $e_{}$ is bilinear and non-degenerate.