在無邊界的位置驗證信號的證明