An easy counting argument shows that if G is overfull then |V (G)| must be odd and G is Class 2 (in every edgecolouring
at most 1/2(|V (G)|−1) edges of G can have the same colour). If G is not overfull but it contains an overfull
subgraph H with (H) = (G), then G is Class 2.