一、短于演绎