Dodal dokaz leme o tem, da je nil ideal pod J(R) in izrek o J(R) v artinskih kolobarjih.