Draft talk:Artin–Tate lemma