如果a属于R b大于0 a大于等于0 而小于b 怎么推出a等于0