 Vizing theorem

Every finite simple graph of maximum degree $\Delta$ has edge chromatic number $\Delta$ or $\Delta +1$.