a number theory program