bhāvapakṣaprasiddhyartham ucyate yat tu sādhanam / tasminnirākṛte samyagabhāvaḥ siddhyati svayam //
When a proof that is stated for establishing the positive position is refuted, the negative [position] becomes established by itself properly.