Filtered Algebra Property of Properly Supported Pseudodifferential Operators