theorems lemmas and propositions in number theory