合同算術はもう数論の一分野ではなく計算機科学(暗号理論)の一分野です。