athātat svabhāvatā paryudāsavṛttyā sādhyate, tadā siddhasādhyatā, parasparaṃ bhāvānāṃ svabhāvavivekasyeṣṭatvāt /
If then "not having that nature" is to be proven by way of exclusion, then [this constitutes] proving what is [already] proven, because the distinction of natures between things mutually is [already] accepted.