This question was asked in Theorem 10.2
Can we do this with RHS congruence

Babu K P's image