Moreover, C must be nontrivial, because the trivial tree has n = 0 and l = 1 and is therefore not a counterexample.
Поред тога, С мора бити нетривијалан, јер тривијално дрво има n = 0 и I = 1 и  стога, није контрапример.