La Profilée - The Persistence Admissibility Theorem - A Self-Contained Formal Statement | Synapse