But, besides the presupposition of definition and division that itself requires proof and presupposes it, also problematic is the very position of definition and division with respect to the theorems.