为什么负数乘以一个负数会是一个正数,理论来源,谁提出的