Dejemos que $S$ sea un esquema conexo, y $F,F'$ dos láminas finitas localmente constantes en $(Sch/S)_{et}$
Podemos restringir $F,F'$ a las láminas (o al menos a los funtores) en la subcategoría de $(Sch/S)$ que consiste en morfismos etale finitos $T\rightarrow S$ . Supongamos que las restricciones de $F,F'$ a esta subcategoría son isomorfos como funtores. Debe $F,F'$ sean isomorfas como gavillas en $(Sch/S)_{et}$ ?
