>>342
書くのを忘れたが、x・y・zなどのfの値の記号「・」は、群論に従って通常の加法+を考えた上での記号だ。
逆元5^{-1}などに付いても同様で、減法-を群論に従って考えて書いている。