최대최소, 사잇값 정리