简述平均互信息量关于信源概率和信道转移概率的凸性定理。