지면에 논증 말고는 아무것도 두지 않습니다.
제출하는 문서를 위한 체재입니다. 정의·정리·보조정리·명제·따름정리가 하나의 연번을 공유하고, 증명 끝에 □가 붙습니다.
이걸 리포트 체재로 써 줘.
학습 참고서/학습 참고서・검은 바탕/리포트・논문・검은 바탕
