etena siddhasādhyatvaṃ pratītibādhitatvaṃ ca pratijñāyā yathāyogamuktaṃ bhavati
By this, both the superfluity and the contradiction to common experience of the proposition have been stated as appropriate