蜀も魏の参加に入るみたいだから別に裏切りではない