iPhone 13 mini (Product)RED をdocomoオンラインショップで予約購入 新しいiPhoneの名称（番号？）が 13 になるのか。欧米で 13 という数字が忌避されているとのことから、番号をひとつ飛ばして 14 になるのか。