Brooks'_theorem loading ...