じゃあ早くそっから先の定義をまとめなさい。