暴力代数。排除法