As noted in equations (12) to (14) and in the example, P is a partial product of the {a.sub.i }, also part of the deciphering key D. The divider 112 divides P by a.sub.i ' for i=1, 2, . . . n and delivers only the remainder r.sub.i, to the comparator 113.