习题 2, § 1

令理论$\mathscr{T}$中的$A$为项或关系。证明$A$中的每个标志$\square$（如果有的话）都链接到位于其左侧的单个标志$\tau$。表明$A$中的每个标志$\tau$（如果有的话）要么根本没有链接，要么链接到位于其右侧的某些标志$\square$。还表明没有其他标志被链接。