Category:Number Theory Theorems, lemmas and corollaries