This question was asked in Theorem 7.1

SSS congroence rule

Girija Hadimani's image