Dopolnjeval dokaz izreka o polmeru grafa deliteljv niča komutativnega noetherskega enotskega kolobarja.