Twierdzenie Lieba-Mattisa a kolorowanie krawędzi grafu