Moreover, C must be nontrivial, because the trivial tree has n = 0 and l = 1 and is therefore not a counterexample.
علاوه بر این، C باید غیر بدیهی باشد، چرا که درخت بدیهی دارای n = 0 و L = 1 است و بنابراین، این یک مثال نقض نیست.