大于零的实数都是正数。