Pseudolocality Theorem for Properly Supported Pseudodifferential Operators