It is a standard result, due to Fournier, that if the core of a graph (the induced graph by the vertices having their degrees equal to maximum degree of the graph) is a forest (acyclic), then the graph is Class 1 (edge colorable with colors equal to the maximum degree of the graph. 


Is there a simple proof of this fact? Specifically, it is said that it follows from the Vizing Adjacency lemma. Any hints? Thanks beforehand.



If the core of a graph is a forest, then it is Class 1
Thanks to the comment by @IlyaBogdanov, consider that the graph is not of Class 1, that is, its edge chromatic number is $\Delta+1$, where $\Delta$ be the maximum degree of the simple graph. Consider the minimal such graph, that is, a critical graph. Now, this should consist of only two major vertices connected by an edge. 


Now, we apply the Vizing adjacency lemma (VAL) to one of the major vertex. This implies, by VAL that the vertex should have at least two major neighbours. But, it is adjacent to exactly one major neighbour, which is a contradiction. Continuing the process by adding leaves of major vertices (as trees can be formed this way), we obtain the full theorem. 


