토비의 스프링 정리