研究社新英和大辞典 ページ 205767 での【・8 is congruent with [to] 15modulo7. 8 は 7 を法として 15 と合同である.】単語。