Assumptions: Grothendieck topos
Conclusions: infinitary extensive
Reason: This is a part of Giraud's Theorem.