This question was asked in Theorem 7.5

There is not do construction in Theorem 7.5 RHS congurence rule?

Ayush Kumar's image