Thus we must either argue like this, or, positing as a principle that demonstration is necessa and that if something has been demonstrated it cannot be otherwise the deduction, therefore, must depend on necessities.