Insertion and extraction

This fixed-order statement is a special case of the standard local structure of distributions supported on a smooth submanifold Hormander,Dang. A general supported distribution need only have a locally finite normal-order bound; a single global $r$ is an additional hypothesis.