La longitud de la diagonal menor de los rombos congruentes o de los romboides congruentes en que se divide un polígono cóncavo ordenado de dato (m,m,n) m mayor que n, n mayor o igual que uno, es igual a la longitud del lado menor de los rectángulos congruentes o de los romboides congruentes en que se divide un rectángulo o un romboide de orden (m,m) m mayor o igual a dos respectivamente y mediante ellos mentalmente se supone que se construyeron los polígonos cóncavos ordenados.