53.24 볼차노-바이어슈트라스 정리와 콤팩트 인수(Compactness Argument)의 역할