标签: 算术整数之性质