a_1\in F