pratijñānabhidhāne ca kāraṇānabhidhānataḥ / kartavyopanayasyoktir na sadbhāvaprasiddhaye
When there is no statement of the proposition, there can be no statement of the reason; therefore the statement of application need not be made to establish existence [of the reason in the subject].