Teilweise vermutlich falsch, im GF(2^8) gilt _nicht_: ``` x + y mod M(x) = (x mod M(x) + y mod M(x) ) mod M(x) ```
