sisādhayiṣito yo 'rthaḥ so 'nayā nābhidhīyate / yat tūcyate na tat siddhau kiñcid asti prayojanam
What is intended to be proved is not expressed by this [proposition], and what is [actually] being stated - in proving that there is no purpose whatsoever.