とりあえずさ、<F_1,...,F_s>を定義してみてよ。そこから何かわかる気がする