On the size of critical graphs with maximum degree 8

In this paper, we prove that the average degree of an 8-critical graph is at least 13/2.