Local Elliptic Regularity Estimate for Properly Supported Pseudodifferential Operators