na vyāvṛttas tato dharmaḥ sādhyatvenābhivāñchitaḥ / aṇūdāharaṇādasmādvaidharmyeṇa prakāśitāt //
The property intended as the probandum is not excluded from these atoms which have been presented as an example by dissimilarity.