RHS Congruence Rule