Esta provavelmente é o corolário menos direto, mas devido ao item a) + b) + c), fica de certa forma evidente, pois a ordem do grafo original deve ser “maior que a maior parte das ordem de suas componentes”, pois caso contrário significa que existem infinitas componentes de mesmo tamanho que ele, então na realidade ele esta em outra classe, ie, em \(A(\lambda^+)\), pela própria definição da classe