add number theory