25분마다 5분씩 쉬기
각 theorem마다 1시간 정도는 직접 증명해보기
30분마다 증명하는 주제 바꾸기
어케 생각함