Dodal dokaz leme o premeru totalnega grafa.