算術素を導入した．

狂っていたテストも修正した．