áll áll.: q′=∏j=1d[aj′,bj′]⊂q=∏j=1d[aj,bj] ⟹td(q′)≤td(q) biz.: Transclude of résztégla legyen P olyan Tégla felosztása Q-nak, hogy Q′∈P. ⟹td(Q)=q∈P∑td(q)=q∈P,q=Q′∑td(Q)+td(Q′)⟹td(Q)≥td(Q′)