トロと契約した時点でレッドブルと契約した場合はワークス契約はレッドブルに移すって契約してるでしょ