乘法对减法的分配率可以用什么来描述独孤求败基本定理