Далее, если М присуще всем Н, а некоторым О не присуще, то Н необходимо не присуще некоторым О; в самом деле, если бы оно было присуще всем О, то, поскольку М сказывается обо всех Н, М необходимо было бы присуще всем О. Предположено же было, что оно некоторым О не присуще.