Exact Principal Symbol Sequence for Local Pseudodifferential Operators