为什么a大于0能推出a大于等于0?