Functional Donoho-Elad-Gribonval-Nielsen-Fuchs Sparsity Theorem | Synapse