第16节 包含在与之不等价的型中的型