r(AB) \geq r(A) + r(B) - n 这个需要解释吗？还是记住 如果解释过程流畅，都是常规的词汇 解释的成本低，收益高，那就解释 如果解释过程中，大量新的词汇，计算量巨大，偏门思想 那就不要解释