For since the content determinations of the theorem are not posited at the same time as determinations of the concept, but are posited instead as indifferent parts standing in a multitude of external relations to one another, it is only in the formal, external concept that the necessity manifests itself.