archy theorem)保证了这列关系都是真子集(proper)，意思是，存在语言在EXPTIME而不在P内，也存在语言在2-EXPTIME但不在EXPTIME内，以下类推。将所有指数谱系的复杂度类作联集，我们会得到一个大的复杂度类，名为ELEMENTARY。