This question was asked in Theorem 7.5
Short definition for rhs rule

Durai Balan's image