And since everyone who proves anything at all is bound to use either deductions or inductions (and this is clear to us from the Analytics), it must follow that each of the latter is the same as one of the former.