Pelo item a) e b) é direto que tal fato é verdade, pois como mostramos para \(\circ(G)>\lambda\) devem existir infinitas componentes de ordem \(\geq \lambda\), então aqui temos a "contrapositiva de al fato"