“X1大于3且X2大于3”的一个充要条件