RHS Congruence Criterion