任意のi<jに対してf_iはf_jの因数にならない
→任意のi<jに対してf_iとf_jは共通因数を持たない
に訂正