Ahora se supone la indivisibilidad de los predicados últimos, con lo que la reducción al absurdo se plantea así: si «es» significa ser hóper ón y no es posible la predicación accidental, ¿qué pasa entonces con «animal» y «bípedo», que no son atributos separables (todo hombre tiene que ser «animal» y «bípedo»), ni inseparables (no contienen a «hombre» en su definición)? La predicación plantea entonces este dilema: o bien «hombre» como hóper ón es indivisible, o bien es divisible en indivisible (es decir en sus predicados esenciales últimos, que sería cada uno un hóper ón), en cuyo caso «hombre» (y de la misma manera el Todo o el Uno) estaría compuesto por una pluralidad de indivisibles. El Uno, entonces, sería divisible en indivisibles, es decir, sería múltiple.