Update Basic_Natural_Number_theory.mt