athāvyāptasvarūpasyāvasthānamaṅgīkriyate tadā tadavasthāne bhedo 'ta evasiddhaḥ vyāptāvyāptayor virodhenaikasvabhāvatvāyogāt
If the existence of something unpervaded is accepted, then [the] difference in that state is established by that very fact, because it is impossible for [something] pervaded and unpervaded to have the same nature due to [their] mutual contradiction.