离散数学，图片里划线的这一步怎么化简到下一步的?求大神。