> as lemmas
subtheory
subtheory n. 
/ˈsəbˌθɪri/
Brit. /ˈsʌbˌθɪəri/
, /ˈsʌbˌθɪəri/U.S. /ˈsəbˌθiəri/
, /ˈsəbˌθiəri//ˈsəbˌθɪri/ΚΠ
1847 Afr. Repository & Colonial Jrnl. Feb. 40/1 Here comes in a little sub-theory.
1951 T. Parsons et al. in T. Parsons & E. A. Shils Toward Gen. Theory Action i. 28 Economic theory..only becomes a distinctive subtheory of the general theory.
2001 M. C. Baker Atoms of Lang. 148 The atomic theory of chemistry has a subtheory of valance that explains what compounds are possible.
<
as lemmas