Áll.: Téglak
Biz.:
eset:
Transclude of téglaunio
Teljes indukció minden -re igaz.
Áll.: Q⊂Rd,Q1,…,QN⊂Rd Téglak
Q⊂j=1⋃NQj⟹td(Q)≤j=1∑Ntd(Qj)Biz.:
N=2 eset:
Transclude of téglauniotd(Q∪Q′)=td(Q)+td(Q′)−td(Q∩Q′)≤td(Q)+td(Q′)
Teljes indukció ⟹ minden N-re igaz.