kathañcit prameyādirūpeṇa sadātmatvaṃ niścitam eveti vyartho hetuḥ //
Since existence is already established as certain "in some way," namely in the form of being cognizable etc., the probans is futile.