tayor yathākramaṃ saṃsiddhyasiddhī, saṃsiddhisahitā vāsiddhiḥ tadarthaṃ tannimittam
For them respectively [there is] proving and disproving, or disproving along with proving - for that purpose, for that reason.