avyatirekapakṣe 'pi sādhyahīnataiva dṛṣṭāntasya, vyakter vyaktyantarānugamābhāvāt
Even in the case of non-difference, the example indeed lacks the probandum, because one individual cannot pervade another individual.