Zahlbereich/Verzweigung/Über reduziert/Kählermodul/Fakt/Beweis

Beweis

Es sei  $𝔭=R\cap 𝔮$,  und wir können wegen Fakt direkt zu

$B=R_{𝔭}⟶A=S_{R\setminus 𝔭}$

übergehen. Somit sind wir in der Situation von Fakt, woraus die Aussage folgt.

Zur bewiesenen Aussage