용량정리입니다.