신고 대상: 실결정공리 (r4)

신고 사유