An irreducible root system is simply laced when every root has the same length, equivalently when its Dynkin diagram has no multiple edge.
If all roots have the same length, the two Cartan integers for and are equal. The root-system finiteness lemma then makes their product either zero or one, so
for .
Conversely, when all such Cartan integers lie in , any two nonorthogonal roots have Cartan integers of absolute value one in both directions. Their squared lengths are therefore equal. Irreducibility makes the graph joining nonorthogonal roots connected, so all roots have the same length. Thus the system is simply laced.