数论基础-互质与素数性质