标签:证明边界