신고 대상: 전사함수의 우역함수의 존재성 (r1)

신고 사유