밀집 방향 그래프의 아크 이웃에 의한 색깔 수 상한 도출

방향 그래프 D의 각 아크 e에 대해 D[N(e)]의 색깔 수가 상한 t 이하이면, D의 색깔 수도 상한 dense(t, α) 이하이다. 여기서 α는 D의 독립 수이다.