Resources are constrained by hierarchy theorems to produce what? [SEP] They are called hierarchy theorems because they induce a proper hierarchy on the classes defined by constraining the respective resources.