iti sāmarthyād yat tat kāraṇāntaraṃ vyatirekato 'numitaṃ tatkṛto 'yaṃ bheda iti niścīyate
Thus by implication, what other cause is inferred through exclusion, by that this difference is produced - this is ascertained