事情上，灵光一现的才叫创新，其余的都是逻辑等价推导，只不过是还没推到而已，可以利用代数系统进行自动推导。

【 在 maplab 的大作中提到: 】
: 就怕这个。。。还有：不妨假设
--
FROM 121.69.75.*