iti / tadatra prathame sādhane tāvat sādhyavikalam udāharaṇam, ekasya gotvasyāsiddhes tannibandhanatvam ekagobuddher apyasiddham eva /
Thus. Here in the first proof, the example lacks the probandum, because since a single [universal] cowness is not established, the fact that the single cow-cognition is based on that [universal] is also not established.