Svag matchende rim for modulo arithmetic