Dodal lemo o tem, da lokalen kolobar nima netrivialnih idempotentov.