¡Base case: each web
page is a fragment
¡Inductive step: each
part of a fragment is also a fragment if
lShared: it is shared
among at least n other fragments (n > 1) and is not subsumed by a parent
fragment
lDifferent: it changes at a different rate than fragments
containing it