theorem Th12: :: MSAFREE4:12

for t1, t2 being DecoratedTree st t1 in Subtrees t2 holds
Subtrees t1 c= Subtrees t2