근데 사실 증명을 이해하는게 아니라
정의랑 성질이 뭔 말인지를 이해하는 모드임