prayogaḥ yadvastu yato 'rthāntaratvena pratiṣiddhātmatattvaṃ tat tadeva yathā rūpaṃ svasvabhāvād arthāntaratvena pratiṣiddhātmatattvam /
The formal argument is: Whatever entity is denied the nature of being different from something is identical with that [something], just as rūpa is denied the nature of being different from its own nature.