Lokal beringte Räume/Morphismus/Invertierbarkeitsort/Fakt

Es seien und lokal beringte Räume und ein Morphismus lokal beringter Räume.

Dann gilt für die Invertierbarkeitsorte zu die Beziehung