Es aquella que contiene a todos los polígonos cóncavos ordenados de dato (m,m,n) m mayor que n, n mayor o igual que uno, que se dividen en cuadrados congruentes o rectángulos congruentes, también contiene a todos los paralelogramos divididos en paralelogramos congruentes de orden (m,m) m mayor o igual que dos, si y solamente si, son cuadrados divididos en cuadrados congruentes o rombos divididos en rombos congruentes y mediante ellos se supone que se construyen los polígonos cóncavos ordenados forma igual uno respectivamente.