可约可空降一对一_，可约可空降可一一真实性