数论-互质性质