  Let F be the function field of a curve over totally imaginary number field.
Let p be a prime. If F contains a primitive p th root of unity, then every
element in the third Galois cohomology group of F with values in the group of p
th roots of unity, is a symbol.
