若一个具有n个结点、k条边的非连通无向图是一个森林(n＞k)，则该森林中必有树的数目是( )。