The De Bruijn -- Erdős theorem may be used to transfer many edge coloring properties of finite graphs to infinite graphs .
The De Bruijn -- Erdős theorem may be used to transfer finite edge coloring properties of many graphs to infinite graphs .