신고 대상: Proper base change theorem (r1)

신고 사유