Dodal dokaz leme o tem, da lokalni kolobarji nimajo netrivialnih idempotentov.