蜀不亡

則吳不亡。反之亦然。