Work of Voevodsky and Markus Rost yielded a complete proof of this conjecture in 2009; the result is now called the norm residue isomorphism theorem.
Arbete av Voevodsky och Markus Rost resulterade i ett bevis av denna förmodan år 2009; resultatet är numera känt som normrestisomorfissatsen.