 In section  2.2.2,  it was noted that while Avicenna denied the possibility of conceptually indivisible atoms, he allowed for the possibility of physically indivisible natural minimums. In other words, there might be limits beyond which some specific kind of natural body cannot be divided further and remain that same kind of body. It was further noted that a proof was required whether there actually were such natural minimums. We are now in a position to consider Avicenna’s proof for this thesis (Avicenna, [Ph], 3.12). Recall that for Avicenna there are two forms of division. One involves merely positing imagined divisions within a magnitude, so as never actually to destroy the continuity of the body. The second involves actually fragmenting and separating parts of the body such that the parts are at a distance from one another. Avicenna’s proof for natural minimums involves this second form of division, namely, bringing about a separation of the parts. It additionally presupposes the theory of elements just presented and particularly the qualitative powers that are the necessary concomitants of the terrestrial elements. 