Add copyright. Prove the splittable cannot be inherit by children in
Mondrian.

I have proved that splittable cannot be inherit by children in both
k-anonymity and l-diversity, i.e. if partition can not be split in
dim, its children may be split in dim.