Saying every noncomposite existent is a jawhar fard gives an exhaustive classification only if competing proposed kinds of noncomposite things have been addressed. Philosophers proposed other realities not identified with the minimal parts of bodies.
Ḥaṣr means demonstrating that the listed kinds exhaust all possibilities. When the completeness of the list is disputed, identifying one kind does not by itself exclude another.
The proof of an indivisible substance consequently requires examination of rival philosophical categories, rather than assuming their nonexistence in the definition.