Draft talk:Giraud's theorem