5.4.2 Px(v)的可识别性