Se supone que mediante un romboide dividido en rombos congruentes de la forma única dos de orden (m,r) m mayor que r, r mayor o igual que dos, se construye un polígono cóncavo ordenado dividido en rectángulos congruentes de la forma única dos de dato (m,r,n) m mayor que r, r mayor que n, n mayor o igual que uno.