text: Выражаясь более формально, это объяснение предполагает, что если граф имеет m {\displaystyle m} рёбер и если максимум β {\displaystyle \beta } рёбер могут принадлежать максимальному паросочетанию, то каждая рёберная раскраска графа должна содержать по меньшей мере m / β {\displaystyle m/\beta } различных цветов.