What is the technique of induction on derivations?

An induction technique in which to prove a specific property about a derivation, we take the induction hypothesis is that every smaller derivations satisfy that property.