k es un campo perfecto. X e y son dos variedades más de k. ¿Su producto de fibra sobre derecho de permanecer a ser regular?
Nota: Cuando k es algebraicamente cerrado es cierto que por el criterio Jacobiano. Cuando k no es perfecta y no hay contra-ejemplo.