Dopolnil dokaz leme o povezanosti totalnega grafa nelokalnega kolobarja.