For since it has been proved that if B's being follows from A's being, then B's possibility will follow from A's possibility, and A is assumed to be possible, consequently will be possible; for if it were impossible, the same thing would at the same time be possible and impossible.