Abstract: If A(t), B(t) are formal power series and satisfy the condition A(B(t))=t or B(A(t))=t, they are named formal power series of the inverse types. Through the operation of formal power series, we obtain the twin combinatorial identity theorem. When it is applied to the expansion of function, we also obtain some specific twin combinatorial identities of the inverse types.