常数参数与非零前提[#117]

一个独立参数不能随坐标变化。涉及分母时还需要非零事实：

$x^2$

参数声明表达a对坐标保持不变；nonzero(a)才授权约去分母。缺少后者时，简化器不会冒险把a/a改成1。