Todistettu: chi(DL(G)) >= log(chi(G))