O comprimento da menorr diagonal de diamantes congruentes ou os romboides congruentes que divide um polígono dados ordenados côncavo ( m, ) m maior que n, n maior ou igual a dois, é igual ao comprimento do lado menos retângulos congruentes ou os romboides congruentes que divide um quadrado e um losango de ordem ( m, r ) m maior que r, r maior ou igual a dois, respectivamente e através deles, mentalmente pressupõe que os polígonos côncavos ordenados foram construídos.