自由和绑定生成森林中树的数目对

令N表示满足如下条件的数对(k,l)∈(N∪{∞})^(2)全体:存在一个无穷电网络,其上的绑定生成森林几乎处处有l棵树,而其上的自由生成森林以正概率有k棵树.证明了N={(k,l)∈N^(2)|k≤l}∪{(∞,∞)}∪{(k,∞)|k∈N}.