avayaveṣu yāvayavino vṛttis tasyā ayogaḥ pramāṇair aghaṭanaṃ tadatra bādhakaṃ pramāṇam //
The impossibility—[i.e.,] the non-establishment through valid means of cognition—of the whole's occurrence in [its] parts is here the annulling proof.