如果模型库中存放足够多的模型单元，那么从理论上讲，利用模型库中的模型单元可以构造出任意形式且（）的模型。