Dodal trditev o barvanju T(R(p,k)), p poljubno praštevilo.