Assume,' so begins the proof, 'that composite substances do not consist of simple parts; then, if all composition is removed in thought, no composite part remains and, since on the assumption just made there are no simple parts, there is also no simple part, thus nothing at all; consequently no substance would be given.'.