163
前面已经说过，一个型F 可以正常或反常地包含另一个型F ′。很显然，有另外一个型G 可以插在F 和F ′之间，使得F 包含G ，G 包含F ′，且G 是与其自身反常等价的型。因为，假设F 正常或反常包含G ，G 反常包含G ，F 就分别正常或者反常地包含G 。那么，不论是哪种情况，这个包含关系都是既正常又反常 （参考条目159） 。同样，不论假设G 怎样包含F ′，F 总是既正常又反常地包含F ′。存在与自身反常等价的型的最显然的情况，就是当型的中间项为零时的情况。这种型是与自身相反（条目159） ，所以也与自身反常等价。更一般地，对于任意型（a ，b ，c ），只要2b 可以被a 整除，它都具有这种性质。此即型（c ，b ，a ）是（a ，b ，c ）的从左边相邻的型（条目160） ，因而也与它正常等价；但是，根据条目159，型（c ，b ，a ）与（a ，b ，c ）反常等价，因此（a ，b ，c ）与自身反常等价。我们把2b 可被a 整除的型（a ，b ，c ）称为“歧型”。于是，我们有下面的定理：
如果我们能够找到一个由包含型F ′的型F 所包含的歧型，那么型F 就既正常又反常地包含型F ′。
这个定理的逆命题也成立，下面我们将展开讨论。
