互质的两个数中至少有一个是质数.