第10节 关于一个型既正常又反常地包含于另一个型的情况的定理系