Now the initial theorems themselves have nothing at their disposal except such immediate determinations as are found in the definitions; similarly their reciprocal dependence can only be a matter at first of each being in general determined through the other.