Structural Invariance Theorem: A Tier-6 Formalisation Within the Paton System | Synapse