广义恒等式

general identity