dodal izrek o obliki totalnega grafa lokalnega kolobarja.