atrāpi siddhasādhyatā kenacitprakāreṇa ghaṭādīnām asattvasya siddhatvāt/
Here too there is the proving of what is [already] proven, because the non-existence of jars etc. in some way is [already] established.