Update Basic_Integer_Theory.mt