The negative inference necessarily follows from impossibility to nonexistence. What cannot be is not.
The negative inference necessarily follows from impossibility to nonexistence. What cannot be is not.
From the impossibility of a thing to its non-existence, the inference' follows necessarily in the negative. That which cannot be done is not done. Hob. 336b. Otherwise, in the affirmative. Id.