This question was asked in Theorem 7.1

But it is ASA rule

Surekha Patil's image