A Normalization Theorem in Asymptotic Differential Algebra | Synapse