It can be verified that Nx is a filter.
可以验证Nx是个滤子。