La Profílée (LP) derives from three minimal axioms: distinguishability (M1), real transformation (M2), and decidability of persistence (M3). M1 presupposes that a system admits at least two distinguishable states. This paper establishes that M1 is not an axiom in the foundational sense — it is a structural necessity. A fully undifferentiated configuration (C₀) cannot be assigned a state identity and therefore cannot exist as a state within any relational system. The Forced Differentiation Theorem follows: any system that exists as a system must contain at least one structural distinction. This result identifies the pre-axiomatic lower bound of the LP domain. C₀ is not a limiting case within the domain — it lies outside the domain entirely. The persistence condition IR = R/(F·M·K) ≤ 1 presupposes distinguishability; this paper establishes why that presupposition is not contingent. The LP domain begins at C₁ not by assumption but by structural necessity: below C₁, no system can exist as a system at all.
Marc Maibom (Mon,) studied this question.