theorems in number theory