Die kanonische Projektion
ist surjektiv und besitzt U {\displaystyle {}U} als Kern. Nach der Dimensionsformel ist somit