(a_n)_{n \leqslant 0} {\buildrel {\rm EFI}\over \leftrightarrow} A(x), (b_n)_{n \leqslant 0} {\buildrel {\rm EFI}\over \leftrightarrow} B(x)