Giraud characterization theorem