判断并改错:若a>0,则|a|>0