Dodal izrek o klasifikaciji lokalnih kolobarjev v nekomutativnem enotskem primeru.