Если возможное таково, как было указано, или согласуется [со сказанным], то, очевидно, не может быть правильно утверждение, что вот это возможно, но не произойдет, так что в этом случае ускользало бы от нас, что значит невозможное. Я имею в виду, например, если бы кто, не принимая во внимание, что значит невозможное, сказал, что диагональ может быть измерена [стороною квадрата], но никогда измерена не будет, потому что ничто-де не мешает, чтобы нечто, имеющее возможность быть или возникнуть, не было ни теперь, ни в будущем. Однако из установленного выше вытекает с необходимостью, что если мы и предположим существование или возникновение того, чего нет, но что может быть, то в этом не будет ничего невозможного; в приведенном же примере будет как раз случай невозможности, потому что соизмеримость диагонали [со стороной квадрата] невозможна. Дело в том, что ложное и невозможное — не одно и то же: ведь то, что ты стоишь сейчас, — это ложно, но не невозможно.

Вместе с тем ясно также, что если при наличии А необходимо существует Б, то и при наличии возможности существования А необходима и возможность существования Б. В самом деле, если возможность Б не необходима, то ничто не мешает, чтобы было возможно, что Б не существует. Допустим, что А возможно. Стало быть, если А возможно, то не вытекало бы ничего не возможного, если бы было принято, что А есть. Тогда и Б необходимо есть. Между тем было предположено, что оно невозможно. Допустим, что Б невозможно. Если же невозможно, чтобы Б было, то необходимо, чтобы и А было невозможно. Но ведь А было возможно, значит, и Б. Итак, если А возможно, то и Б будет возможно, если только отношение между ними таково, что при существовании А необходимо существование Б. Стало быть, если при таком отношении между А и Б существование Б невозможно, если А возможно, то значит, А и Б не будут находиться в том отношении, как было принято; и если при наличии возможности А необходима и возможность Б, то, если есть А, необходимо есть и Б. Ибо утверждение, что необходимо, чтобы Б было возможно, если возможно А, означает, что если, когда и каким образом возможно существование А, тогда и таким же образом необходимо и существование Б.