yadi jātyā jātirūpeṇa, ghaṭādīnām ekatvaṃ sādhyate prasaṅgena tadā siddhasādhanam /
If oneness of jars etc. is sought to be proven through reductio ad absurdum with respect to [their] universal form, then it is proving what is [already] proven.