原文:负负得正”的乘法法则可以证明吗