**First we assume that we have access to the stream of unassociated primes
such that
.
Indeed the recovery of an element
in
from
requires sufficiently large
.
**

**Secondly, we assume the avialability of a mapping
from
to
, called a symmetric canonical simplifier,
such that we have the following properties.
**

**Simplification.**- Any element
must satisfy
for any
. More formally:
(116)

**Canonicity.**- For any
,
any two elements
equivalent modulo
must satisfy
. More formally:
(117)

**Recoverage = symmetry.**- All elements of a bounded degree are recovered
by the simplifier if the modulus is sufficiently large.
(118)

*
*

2008-01-07