itbpF38.875pt24.5pt6ptindex.wmfindex.texAxiomIndex.tex#Axiom, CorollaryIndex.tex#Corollary, LemmaIndex.tex#Lemma, PropositionIndex.tex#Proposition, TheoremIndex.tex#Theorem