This sort of thing happens particularly in the case of the first principles; for while the other propositions are proved through these, these cannot be proved through anything else: we are obliged to get to know every item of that sort by a definition.