In einem glatten Schema sind die lokalen Ringe nach Fakt regulär und diese sind nach Fakt faktoriell. Daher folgt die Aussage aus Fakt.
