Združil lemi o povezanosti totalnega grafa in o njegovem premeru