若M N表示由条件M必会推