Update number theory
Merge