I found that if parent cannot be split on dim, their children may be split on dim.

I found a Lemma to improve mondrian, but it's not correct.
Lemma 1: If parent cannot be split on dim, all their children cannot be split on dim.
I found this Lemma is not correct on l-diversity theoretically. But I'm not sure if it is correct
on k-anonymity.