用对不变式方法简化N!难题