tad evaṃ prathame prayoge saṅkhyādīnāṃ dravyād avyatirekapratiṣedhamātre sādhye siddhasādhyatā iti pratipāditam
Thus then, it has been shown that in the first argument, if what is to be proved is merely the denial of non-difference of Number etc. from Substance, then [there is] the fallacy of proving what is [already] established.