Sei und ein Binärbaum. Mindestens ein Pfad der Länge existiert in , wenn die Blattanzahl ist.