State/Arithmetic of residues is well-defined 1