if we have gamma_1 be the set of V_< -sentences that hold in every finite model of

T_LO .Let gamma_2 be the set of sentences saying that there exist at least n elements for each n=1,2,3,... Let T_LOF denote the closure of gamma_1 (union) gamma_2 . Show that T_FLO is a theory.

where T_LO denote the theory of linear orders