把示例延伸为恒等式[#107]

对于具体向量场，可直接计算div(curl(v))并观察零结果。对于含未知函数的抽象表达式，则需要vector/smooth等类型与正则性事实，算法保留明确前提，不凭记号外观猜测。

$0$

本例中的坐标多项式足以完全展开。若把分量替换为未知场E，就不再有具体多项式可求；系统会要求相应的计算语义或前提。