因为A是B的真子集,所以A不是空集