신고 대상: 초른의 보조정리 (r2)

신고 사유