siddhau vā vyartho hetuḥ paryeṣaṇe, yat tatsvabhāvasya siddhatvāt /
And if [its nature] were established, the reason would be pointless in the investigation, since its nature would [already] be established.