For the assumption that everything substantial is spatial, but that space does not consist of simple parts, is a direct assertion which is made the immediate ground of what is to be proved, and with it the whole proof is already finished.