Dodal lemo o premeru totalnega grafa komutativnega končnega enotskega nelokalnega kolobarja.