Considere três polígonos convexos 𝑃₁, 𝑃₂ e 𝑃₃ tais que os seus números de lados são números inteiros consecutivos. Se 𝑛(𝑃₁) < 𝑛(𝑃₂) < 𝑛(𝑃₃), em que 𝑛(𝑃𝑖) indica o número de lados do polígono 𝑖, e a soma do número de diagonais 𝑃₁ com o número de diagonais de 𝑃₂ é igual ao número de diagonais de 𝑃₃, então 𝑃₃ é um: