两个有理数的积等于这两个有理数的和,是什么猜想?