卡若图的证明和无关项的数学推导?