Dies folgt aus Fakt mit L = O X {\displaystyle {}{\mathcal {L}}={\mathcal {O}}_{X}} unter Verwendung von