Sobre os lados do triângulo equilátero ABC abaixo tornam-se os pontos D, E e F tais que !$ \overline {AD} = \overline {BE} = \overline {CF} !$
Sobre os lados do triângulo DEF da figura (I), tornam-se os pontos G, H e I tais que !$ \overline {DG} = \overline {EH} = \overline {FI} !$
Com base nas figuras (I) e (II), tem-se, necessariamente, que
