Bổ đề 1 (cơ sở tính số) số cơ sở của một
yếu tố trong một vector lá-nút bị ràng buộc vào một phụ IS-cây là các
giống như của hầu hết dưới lá-nút vector hình thức đó
phụ là - cây.
MINING thường xuyên mô hình dựa trên là cây
bổ đề 2 (bá tước sáp nhập) cho n là một số nút của một phụ
IS'-cây hình thành từ một véc tơ nút dẫn (ràng buộc) 5 ,
số của nó là tổng của tất cả cơ sở tiếp của yếu tố mà
đang được dịch, vui lòng đợi..