This question was asked in Theorem 7.1

Cpct rule

Mansi Saini's image