볼러로 정리가될까요?