prāgukte bhāvamātre ca paścād vyāpteḥ prakāśanāt / vivakṣitārthasaṃsiddher viphalaṃ pratibimbakam
When mere existence [of the reason] has been stated first, and the pervasion is shown afterwards, all that is intended is accomplished; [therefore] the reflection [through application] is futile.