읽다가 모르겠으면 AI한테 물어보겠거니 하고 웬만한 증명은 다 생략할 거 같음