[gggg.thm]