잔비 선에서 정리