Kommutativer Ring/Spektrumsabbildung/Faser ist leer/Fakt/Beweis