同余式(模算術における周期性)の拡張応用