토드선에서 정리