ここにformula_9とformula_10は完備化された大域的l-函数と根である。