标签:三角形移除引理