2.7 空串定理