tenaiva tāvat pratipādanaṃ ko 'rtho yato 'nyathāpi sādhyasiddhir bhavatyevetidarśitam eva
What would be the purpose of establishing that very [fact], since it has already been shown that the Probandum can be established in another way?