const-modulo-ring