Add some code about number theory